募捐 9月15日2024 – 10月1日2024 关于筹款
1
Programming from Specifications

Programming from Specifications

Carroll Morgan
年:
1998
语言:
english
文件:
PDF, 1.28 MB
0 / 0
english, 1998
2
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan
年:
2004
语言:
english
文件:
PDF, 2.46 MB
0 / 0
english, 2004
3
Program Design Calculi

Program Design Calculi

Carroll Morgan (auth.), Manfred Broy (eds.)
年:
1993
语言:
english
文件:
PDF, 13.42 MB
0 / 0
english, 1993
4
Programming methodology

Programming methodology

Carroll Morgan, Annabelle McIver
年:
2003
语言:
english
文件:
DJVU, 3.55 MB
0 / 4.5
english, 2003
7
Programming from specifications

Programming from specifications

Morgan, Carroll
年:
1994
语言:
english
文件:
PDF, 1.29 MB
0 / 0
english, 1994
9
Anompolichi: The Wordmaster

Anompolichi: The Wordmaster

Phillip Carroll Morgan
语言:
english
文件:
PDF, 2.92 MB
0 / 5.0
english
11
Programming Methodology

Programming Methodology

Annabelle McIver, Carroll Morgan (eds.)
年:
2003
语言:
english
文件:
PDF, 11.96 MB
0 / 0
english, 2003
13
On the Refinement Calculus

On the Refinement Calculus

Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers BSc, PhD (eds.)
年:
1994
语言:
english
文件:
PDF, 5.10 MB
0 / 0
english, 1994